101. An examination of logical positivism
پدیدآورنده : Weinberg, Julius Rudolph
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Logical positivism
رده :
BC
135
.
W37
1936
102. An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W.
موضوع : ، 1 Hilbert space,، Quantum theory,، Log symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
103. An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical
رده :
QA
322
.
4
.
C64
1989
104. An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Hilbert space , Quantum theory , Logic, Symbolic and mathematical
رده :
QA
322
.
4
.
C64
1989
105. An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical
رده :
QA
322
.
4
.
C64
1989
106. An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical
رده :
QA
322
.
4
.
C64
1989
107. An introduction to Mathematical thought. Reding, Mass
پدیدآورنده : Edward Russell Stabler
موضوع : Mathematics-philosophy,Logic,Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
108. An introduction to mathematical logic and type theory : to truth through proof
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
1986
109. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
110. An introduction to mathematical reasoning
پدیدآورنده : Iglewicz, Boris
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,Problems, exercises, etc ، Mathematics
رده :
QA
9
.
I36I5
111. An introduction to mathematical thought
پدیدآورنده : Stabler, Edward Russell
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
S67
1953
112. An introduction to mathematical thought
پدیدآورنده : / by E. R. Stabler
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Mathematics - Philosophy,Logic - Symbolic and mathematical
رده :
510
.
1
St-I
113. An introduction to modern mathematics
پدیدآورنده : Monjallon, Albert
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Abelian groups
رده :
QA
248
.
M513
114. An introduction to the elements of mathematics
پدیدآورنده : Fujii, John N
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Aggregates,، Algebra
رده :
QA
9
.
F8
115. An invitation to applied category theory :
پدیدآورنده : Brendan Fong, David I. Spivak.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
رده :
QA9
.
25
.
F66
2019
116. An invitation to applied category theory :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;
117. An outline of set theory
پدیدآورنده : / James M.Henle
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Set theory,Logic,symbolic and mathematical
رده :
511
.
322
H514o
118. An outline of set theory
پدیدآورنده : Henle, James M
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
119. An outline of set theory
پدیدآورنده : Henle, James M
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
120. An outline of set theory
پدیدآورنده : / James M. Henle,Henle
کتابخانه: Central Library of Astan Quds Razavi-Hall of Foreign Books (Khorasan Razavi)
موضوع : Set theory,Logic, Symbolic and mathematical
رده :
511
.
322
H514O
